sin^4(x)+sin^4(pi/4+x)+sin^4(x-pi/4)=1/2